Merge pull request #2621 from cgwalters/drop-jenkins-soup
authorJonathan Lebon <jonathan@jlebon.com>
Tue, 31 May 2022 15:24:33 +0000 (11:24 -0400)
committerGitHub <noreply@github.com>
Tue, 31 May 2022 15:24:33 +0000 (11:24 -0400)
commitf376f7ffffa30e5b2bb4e1d0dada922e03f4efcc
tree68b5390693f0703a0888346e8ad04aa9d4d82d20
parent7aa17acd8dea8687136810bab9f703f9afdbccde
parent2838f42eec5424cce3832b40f7ef73654b481e96
Merge pull request #2621 from cgwalters/drop-jenkins-soup